The Bogomolov–pantev Resolution, an Expository Account

Before the work cited above, and that of Abramovich and de Jong [1] (appearing at roughly the same time) the only proof of this theorem was as a corollary of the famous result of Hironaka [5]. These new proofs were inspired by the recent work of de Jong [6], which Bogomolov and Pantev combine with a beautiful idea of Belyi [2] “simplifying” the ramification locus of a covering of P by successively folding up the P onto itself, over a fixed base. This latter step unfortunately only works in characteristic zero, limiting the scope of the argument (Abramovich and de Jong’s paper gives some results even in characteristic p). Hence, we work over the field of complex numbers; the argument also works (with suitable modifications about rationality) over any field of characteristic zero. The outline of the argument we follow is the same as that of the paper of Bogomolov and Pantev; however we offer different (and we hope simpler) proofs of the corresponding lemmas. To begin with, their argument using Grassmannians is replaced by an application of Noether normalisation in Section 1. Belyi’s argument to reduce the degree of individual components of the ramification locus is presented in purely algebraic form in Section 1, Lemmas 3 and 4. The presentation of Bogomolov and Pantev refers to “semi-stable families of pointed curves